161. Intuitionism and proof theory; Proceedings of the Summer Conference at Buffalo N. Y. 1968
پدیدآورنده : / edited by A. Kino, J. Myhill, R. E. Vesley
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical - Congresses
رده :
511
.
3
C748
1968
162. Islic logic conferene
پدیدآورنده : / edited by G. H. Muller, A. Oberschelp and K. Potthoff
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, Symbolic and mathematical - Congresses,Set theory - Congresses
رده :
510
.
8
L471
No
.
499
163. KI 2015
پدیدآورنده : \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
164. Logic Colloquim 77. Proceedings of the Colloquium held in Wroclaw, August 1977
پدیدآورنده : Logic Colloquium, Wroclaw, Poland
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Recursive functions-- Congresses
رده :
QA
9
.
A1
.
L63
1977
165. Logic Colloquium '81 :
پدیدآورنده : edited by J. Stern
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L63
1981
166. Logic Colloquium 2006
پدیدآورنده : edited by S. Barry Cooper, ... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
32
167. Logic Colloquium 2007
پدیدآورنده : edited by Francoise Delon ... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
35
168. Logic Colloquium 2004 :
پدیدآورنده : edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
L63a
2004
169. Logic Colloquium '88
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Congresses. ;
170. Logic Colloquium '96 :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses ;
171. Logic Colloquium 2007
پدیدآورنده : edited by Francoise Delon ... ]et al.[
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
172. Logic Colloquium '85 :
پدیدآورنده : edited by the Paris Logic Group
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
L63
1985
173. Logic Colloquium 76 :
پدیدآورنده : edited by R. O. Gandy, J. M. E. Hyland
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L63
1976
174. Logic Colloquium '90 : ASL summer meeting in helsinki
پدیدآورنده : J. Oikkonen,J.Vaananen )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
L63a
1990
175. Logic Colloquium : Symposium on Logic held at Boston, 1977-1973
پدیدآورنده : edited by R. Parikh
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
453
176. Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
پدیدآورنده : edited by D. van Dalen, D. Lascar, T.J. Smiley
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1980
177. Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
پدیدآورنده : edited by Zoe Chatzidakis, Peter Koepke, Wolfram Pohlers
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
27
178. Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990
پدیدآورنده : edited by Juha Oikkonen, Jouko Vaananen
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
2
179. Logic Colloquium 2000 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000
پدیدآورنده : edited by Rene Cori... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
19
180. Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
پدیدآورنده : edited by Samuel R. Buss, Petr Hajek, Pavel Pudlak
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
13
